Universality of Univariate Mixed Fractions in Divisive Meadows

نویسندگان

  • Jan A. Bergstra
  • Inge Bethke
  • Dimitri Hendriks
چکیده

Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transformation of fractions into simple fractions in divisive meadows

Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive m...

متن کامل

Inversive meadows and divisive meadows

An inversive meadow is a commutative ring with identity and a total multiplicative inverse operation satisfying 0 = 0. Previously, inversive meadows were shortly called meadows. In this paper, we introduce divisive meadows, which are inversive meadows with the multiplicative inverse operation replaced by a division operation. We introduce a translation from the terms over the signature of divis...

متن کامل

Arithmetical meadows

An inversive meadow is a commutative ring with identity equipped with a total multiplicative inverse operation satisfying 0 −1 = 0. Previously, inversive meadows were shortly called meadows. A divisive meadow is an inversive meadows with the multiplicative inverse operation replaced by a division operation. In the spirit of Peacock's arithmetical algebra, we introduce variants of inversive and ...

متن کامل

ecp: An R Package for Nonparametric Multiple Change Point Analysis of Multivariate Data

There are many different ways in which change point analysis can be performed, from purely parametric methods to those that are distribution free. The ecp package is designed to perform multiple change point analysis while making as few assumptions as possible. While many other change point methods are applicable only for univariate data, this R package is suitable for both univariate and multi...

متن کامل

Divisive Strategies for Predicting Non-Autonomous and Mixed Systems

We consider the problem of predicting time series originating from non-stationary and from mixed dynamical systems. It is shown that the complexity of nding representations for the dynamics of such systems can be drastically reduced if their composite nature is taken into account. Two paradigmatic cases are discussed and their solutions presented: jump processes and stationary mixtures. Example...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017